James Brotherston: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A formalised first-order confluence proof for the λ-calculus using one-sorted variable names

René Vestergaard, James Brotherston

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 464 KB

english, 2003

2

A Unified Display Proof Theory for Bunched Logic

James Brotherston

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 261 KB

english, 2010

3

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective)

René Vestergaard, James Brotherston

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 385 KB

english, 2001

4

Patient preferences for oropharyngeal cancer treatment de-escalation

Drew C. Brotherston, Ian Poon, Tuyen Le, Martin Leung, Alex Kiss, Jolie Ringash, Judith Balogh, Justin Lee, James R. Wright

Journal:

Year:

2012

Language:

english

File:

PDF, 824 KB

english, 2012

5

Bunched Logics Displayed

James Brotherston

Journal:

Year:

2012

Language:

english

File:

PDF, 383 KB

english, 2012

6

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Undecidability of Propositional Separation Logic and Its Neighbours

Brotherston, James, Kanovich, Max

Year:

2010

Language:

english

File:

PDF, 373 KB

english, 2010

7

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Complete Sequent Calculi for Induction and Infinite Descent

Brotherston, James, Simpson, Alex

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

8

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Classical BI

Brotherston, James, Calcagno, Cristiano

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

9

Classical BI

Brotherston, James, Calcagno, Cristiano

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

10

Cyclic proofs of program termination in separation logic

Brotherston, James, Bornat, Richard, Calcagno, Cristiano

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 1.60 MB

english, 2008

11

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Cyclic proofs of program termination in separation logic

Brotherston, James, Bornat, Richard, Calcagno, Cristiano

Year:

2008

Language:

english

File:

PDF, 1.60 MB

english, 2008

12

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Parametric completeness for separation theories

Brotherston, James, Villard, Jules

Year:

2014

Language:

english

File:

PDF, 647 KB

english, 2014

13

Undecidability of Propositional Separation Logic and Its Neighbours

Brotherston, James, Kanovich, Max

Journal:

Journal of the ACM

Year:

2014

Language:

english

File:

PDF, 1.36 MB

english, 2014

14

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - A decision procedure for satisfiability in separation logic with inductive predicates

Brotherston, James, Fuhs, Carsten, Pérez, Juan A. Navarro, Gorogiannis, Nikos

Year:

2014

Language:

english

File:

PDF, 382 KB

english, 2014

15

Literary Reviews

Martin, Gerald, Bassnett, Susan, Schelling, Vivian, Gledson, John, Brotherston, Gordon, King, John, Walder, Dennis, Bromley, Roger, Bentsi‐Enchill, Nii K, Caistor, Nick, James, Louis, Kabbani, Rana, M

Journal:

Third World Quarterly

Year:

1988

Language:

english

File:

PDF, 2.67 MB

english, 1988

16

Recent Developments related to Residuated Lattices and Substructural Logics || Bunched Logics Displayed

James Brotherston

Journal:

Year:

2012

Language:

english

File:

PDF, 2.33 MB

english, 2012

17

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Automatic cyclic termination proofs for recursive procedures in separation logic

Rowe, Reuben N. S., Brotherston, James

Year:

2017

Language:

english

File:

PDF, 590 KB

english, 2017

18

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof

Tellez, Gadi, Brotherston, James

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 1.15 MB

english, 2019